منابع مشابه
Static Analysis of Exception Handling in Ada
Since the signature of an Ada subprogram does not specify the set of exceptions that the subprogram can propagate, computing the set of exceptions that a subprogram may encounter is not a trivial task. This is a source of error in large Ada systems: for example, a subprogram may not be prepared to handle an exception propagated from another subprogram several layers lower in the call-tree. In a...
متن کاملException Handling
The rst part of this paper provides rigorous deenitions for several basic concepts underlying the design of dependable programs, such as speciication, program semantics, exception, program correctness, robustness, failure, fault, and error. The second part investigates what it means to handle exceptions in modular programs structured as hierarchies of data abstractions. The problems to be solve...
متن کاملAn exception-handling framework
The exception-handling framework described in this paper creates an opening to compare different exception-handling approaches in a structured way. This comparison is made, linking taxonomies of different research-groups together. Concurrently the framework specifies a general data-structure to store knowledge about exception-handling, which makes it easier to adapt the proposed taxonomy in the...
متن کاملException Handling for C++
This paper outlines a design for an exception handling mechanism for C++. It presents the reasoning behind the major design decisions and considers their implications for implementation alternatives. The mechanism is flexible, comparatively safe and easy to use, works in a mixed language execution environment, and can be implemented to run efficiently. Two implementation strategies are describe...
متن کاملAdvanced Exception Handling Mechanisms
It is no longer possible to consider exception handling as a secondary issue in language design, or even worse, a mechanism added after the fact via a library approach. Exception handling is a primary feature in language design and must be integrated with other major features, including advanced control flow, objects, coroutines, concurrency, realtime and polymorphism. Integration is crucial as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1986
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v15i214.7565